Professeur de poésie ?

Professeur à l’Université de Grenoble

There are relatively few proposals for inconsistency measuresfor propositional belief bases. However inconsistency mea-sures are potentially as important as information measuresfor artificial intelligence, and more generally for computerscience. In particular, they can be useful to define variousoperators for belief revision, belief merging, and negotiation.The measu...

professeur à l’Université de Cergy-Pontoise professeur à l’Université de Vérone

This thesis focuses on the measurement of dissimilarity in the distribution of relevanteconomic attributes and inequality of opportunity. Equality of opportunity has gained popularityfor defining the relevant equalitarian objective for the distribution of a broad range of social andeconomic outcomes among social groups. I show that equality of opportunity concerns in policyevalu...

Professeur à l’Université de Rennes/Examinateur

Automatic test data generation leads to identify input values on which a selected point in a procedure is ex ecuted This paper introduces a new method for this problem based on constraint solving techniques First we statically transform a procedure into a constraint system by using well known Static Single Assignment form and control dependencies Second we solve this system to check whether at ...

Professeur à l’INSA de Lyon / rapporteur

Professeur de l'Université d'Avignon et Pays de Vaucluse Rapporteur